YOX1 -| CLN3 SWI5 -> CLN3 ACE2 -> CLN3 YHP1 -| CLN3 SFF -> ACE2 MBF -> HCM1 SBF -> HCM1 MBF -> SBF YOX1 -| SBF YHP1 -| SBF CLN3 -> SBF MBF -> YOX1 SBF -> YOX1 HCM1 -> SFF SBF -> SFF SFF -> SWI5 CLN3 -> MBF MBF -> YHP1 SBF -> YHP1 $ACE2: SFF $CLN3: ((SWI5 & ACE2) & !(YHP1 | YOX1)) $HCM1: (MBF & SBF) $MBF: CLN3 $SBF: ((MBF & !(YHP1 | YOX1)) | (CLN3 & !(YHP1 | YOX1))) $SFF: (SBF & HCM1) $SWI5: SFF $YHP1: (SBF | MBF) $YOX1: (MBF & SBF)